-
1 Deontic Modus Ponens
Latin: DMPУниверсальный русско-английский словарь > Deontic Modus Ponens
-
2 DMP
1) Компьютерная техника: Declarative Meta Programming, Dot Matrix Printer2) Авиация: Display Management Processor3) Американизм: Data Management Plan4) Латинский язык: Deontic Modus Ponens5) Военный термин: Defense Manpower Policy, Director of Manpower Planning, Director of Military Personnel, disarmed military personnel6) Техника: Digital Music Products, dedicated microprocessor, dimethyl phthalate, dip moveout processing, display maintenance program, display masking parameters7) Бухгалтерия: Debt Management Plan8) Грубое выражение: Dirty Mo Posse9) Оптика: digital map processor, digital micromirror device10) Сокращение: Daily Maintenance Pack, Digital Media Player11) Вычислительная техника: desktop multimedia publishing, dynamic memory pool, динамический пул памяти12) Стоматология: dentine matrix protein13) Транспорт: Driver's Master Panel14) Фирменный знак: Dark Music Productions, Dutch Music Partners15) Сейсмология: эллиптическая развёртка отражений (dip moveout processing)16) Сетевые технологии: Dynamic Multipathing17) Полимеры: dimethyl phenol, dimethylol phenol18) Автоматика: document material processed19) Телефония: Device Management Protocol20) Расширение файла: Dump File21) Энергосистемы: Demand Management Program, ПУС22) Фантастика Demon Making Plant, Demon Manufacturing Plant
См. также в других словарях:
DMP — Dump File (Computing » File Extensions) * Debt Management Plan (Business » Accounting) * Dot Matrix Printer (Computing » General) * Dynamic Multipathing (Computing » Networking) * Digital Music Products (Business » Products) * Data Management… … Abbreviations dictionary
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
logic — logicless, adj. /loj ik/, n. 1. the science that investigates the principles governing correct or reliable inference. 2. a particular method of reasoning or argumentation: We were unable to follow his logic. 3. the system or principles of… … Universalium
Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… … Wikipedia
Doxastic logic — is a modal logic concerned with reasoning about beliefs. The term doxastic derives from the ancient Greek δόξα, doxa, which means belief. Typically, a doxastic logic uses Bx to mean It is believed that x is the case, and the set denotes a set of… … Wikipedia
LOGIQUES NON CLASSIQUES — La logique formelle «classique» (cf. histoire de la LOGIQUE, LOGIQUE MATHÉMATIQUE, théorie de la DÉMONSTRATION) est une théorie de l’inférence valide qui ne prend pas en considération le contenu sémantique de l’argument. Elle est une logique… … Encyclopédie Universelle
Chrysippus — This article is about the philosopher. For other people named Chrysippus, see Chrysippus (disambiguation). Chrysippus of Soli Roman copy of a Hellenistic bust of Chrysippus, British Museum Full name Chrysippus of Soli Born c. 279 BC … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
History of logic — Philosophy ( … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Axiom — This article is about logical propositions. For other uses, see Axiom (disambiguation). In traditional logic, an axiom or postulate is a proposition that is not proven or demonstrated but considered either to be self evident or to define and… … Wikipedia